Search Results
@rae: Using singleton types to replicate a length-indexed Vector
@rae: How to program in types with length-indexed vectors: Part 1
@rae: Type families help define functions over length-indexed vectors
Haskell Symposium 2012. Richard Eisenberg: Dependently typed programming with singletons.
@rae: Ideas for optimizing Haskell
@rae: Pattern synonyms can improve performance while retaining safety
@rae: Wordle #6: Refining abstractions for correctness
Keynote: Dependently-Typed Haskell - Stephanie Weirich
Justin Le - Singletons and You in Haskell - λC 2017
Richard Eisenberg – Parameters of Many Flavors
Dependent Haskell with Vladislav Zavialov
